- 双语例句 更多例句
该规范的语义是应当创建已引用对象的一个副本,并指定另一个名称。
互联网摘选
An Ontology-based Time Semantic Specification and Verification Approach for Web Service
一种基于Ontology的WEB服务时间约束定义及验证方法
互联网摘选
DTD是一种基于语法的XML规范形式化定义,在考虑结构完整性约束时,一种基于pattern的XML规范形式化定义XSCs模式可以与其联合使用,使得生成的DTD具有更为丰富的语义。
互联网摘选
该方法采用XYZ/E描述,首先确保规范与被测软件的语义一致,其次,利用XYZ/E规范的逻辑程序属性,实现了对测试用例中输出期望的Prolog自动推导求值。
互联网摘选
该方法分析了时序图的语义信息并添加语义约束规约生成可测试模型,从中提取相关信息生成有限状态机;
互联网摘选
- 相关词组
- semantic priming语义启动;
- semantic tree语义树;
- semantic error语义误差;
- semantic net语义网;
- semantic rule语义规则;
- semantic check[计] 语义检查;
- job specification工作规范;施工[工作]规范,职务一览表;
- semantic word语义字;
- semantic field语义场;
- semantic meaning语义;
- semantic clash[计] 语义对撞;
- semantic count语义数计;
- semantic lock[计]语义锁定;
- semantic code[计] 语义代码;
- semantic test语义检查;
- semantic pair语义对;
- semantic unit[计] 语义单位;
- modal semantic[计] 模态语义;
- semantic component语义部分[成分];
- semantic feature语义要素;
- 今日热词
- 热门搜索
- tend v.倾向;趋于;趋向;往往会;常常就;招待,侍候,照顾,照料;照料;走向;护理;照管
- general n.将军;(陆军、海军陆战队或美国空军)上将adj.一般的;总的;普遍的;大致的,大概的(方向或地区);常规的;大体的;整体的;正常的;全体的;首席的;笼统的;概括性的;非专门的
- Whataya Want From Me 你到底想怎样;
- daughter n.女儿;产物,后代;(某地的)妇女;[生]子代;
- obscure adj.模糊的;无名的;鲜为人知的;费解的;难以理解的vt.使…模糊不清,掩盖;隐藏;使难理解;使模糊;使隐晦;使费解
- giraffe n.长颈鹿;
- ward n.病房;选区;〈法〉被监护人;
- slavery n.奴隶身份;奴隶制度;苦役,奴隶般的劳动;奴役,束缚,屈从,耽迷(酒色等);
- like prep.相似; 类似; 像; (询问意见)…怎么样; (指某人常做的事)符合…的特点,像…才会;v.喜欢; 喜爱; 喜欢做; 喜欢(以某种方式制作或产生的东西); 想; 要; 希望;
- leaf n.叶子;页;叶状的结构;金属薄片;
- spiderman n.<主英>高空作业的建筑工人;
- hobby n.业余爱好;
